Leslie Lamport, Principal Researcher at Microsoft Research, was awarded the 2013 Turing Award of the Association for Computing Machinery, for his contributions to distributed computing. The citation reads: For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, … Continue reading Leslie Lamport wins the Turing Award